1

Lie Algebra and Lie Super Algebra for Integrable Couplings of C-KdV Hierarchy

Year:
2010
Language:
english
File:
PDF, 341 KB
english, 2010
10

A typed resolution principle for deduction with conditional typing theory

Year:
1995
Language:
english
File:
PDF, 2.61 MB
english, 1995
13

Solving open problems in right alternative rings with Z-module reasoning

Year:
1989
Language:
english
File:
PDF, 1.23 MB
english, 1989
14

Case studies of Z-module reasoning: Proving benchmark theorems from ring theory

Year:
1987
Language:
english
File:
PDF, 745 KB
english, 1987
17

superlattice

Year:
1996
Language:
english
File:
PDF, 127 KB
english, 1996